<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<title>GPS: weten waar we staan</title>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<link rel="stylesheet" type="text/css" href="gps_stijl.css" />
<?php
// bij de zoekschermen extra includes e.d.
if ($zoeken==1) { 
	
?>
<script type="text/javascript" src="./jQuery.js"></script> 
<script type="text/javascript" src="./thickbox.js"></script>
<link rel="stylesheet" href="./thickbox.css" type="text/css" media="screen" />
<link rel="stylesheet" type="text/css" href="gps_stijl.css" />
<?php 
}
?>
</head>
<body background="./img/bg.gif" topmargin="0">
<center>
<?php
	$medewerker = $_SESSION['naam'];
?>
<table width="920" bgcolor="#FFFFFF" border ="0"> 
	<tr>
		<td><img src="./img/logo.gif" /></td>
		<td><img src="./img/banner_blauw.png" /></td>
	</tr>
	
	<tr>
		<td >
		<?php echo "Ingelogd als $medewerker";
		if ($_SESSION['naam']=="Test") { print "<h6><a href=\"sjablonen_beheer.php\">Sjablonen (experimenteel)</a></h6>"; }
		?>
			
	<td ><p align="right">
	
<?php
$SQL = "select * from instellingen where `InstellingNaam` = 'help'";
//echo $SQL;
$resultaat = mysql_query($SQL);
//echo $resultaat;

$aantal = mysql_num_rows($resultaat);
while ($record = mysql_fetch_object($resultaat)) {	
$helpaan = $record->Instelling;
}
if ($helpaan == "Aan"){
if (file_exists("help/$help.html"))
	{
		echo "<A HREF = \"help/$help.html?height=450&width=800\" title=\"GPS help\" class=\"thickbox\"><IMG SRC=\"img/help-ja.png\" BORDER=0></A>";}
	else
	{
		echo"<img src=\"img/help-nee.png\" border =\"0\">";
	}
}

	
?>	
	
<a href ="hoofdmenu.php"><img src="./img/home.png" border ="0" alt="Hoofdmenu" /></a>
<a href ="logout.php"><img src="./img/logout.png" border ="0" alt="Verlaat programma" /></a>
</p>
		</td>
	</tr>
	<tr>
		<td colspan="2"><hr></td>
	</tr>
